Integrand size = 42, antiderivative size = 322 \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=-\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (1-\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )}{f}+\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{f}-\frac {2 \operatorname {PolyLog}\left (3,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f} \]
[Out]
Time = 0.30 (sec) , antiderivative size = 322, normalized size of antiderivative = 1.00, number of steps used = 9, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.119, Rules used = {2554, 2404, 2354, 2421, 6724} \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=-\frac {2 \operatorname {PolyLog}\left (3,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}-\frac {2 \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{f}+\frac {2 \operatorname {PolyLog}\left (2,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{f}-\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{f}+\frac {\log \left (1-\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{f}+\frac {2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )}{f} \]
[In]
[Out]
Rule 2354
Rule 2404
Rule 2421
Rule 2554
Rule 6724
Rubi steps \begin{align*} \text {integral}& = (-b c+a d) \text {Subst}\left (\int \frac {\log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{(d-b x) (d e-c f-(b e-a f) x)} \, dx,x,\frac {c+d x}{a+b x}\right ) \\ & = (-b c+a d) \text {Subst}\left (\int \left (\frac {b \log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{(b c-a d) f (-d+b x)}+\frac {(b e-a f) \log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{(b c-a d) f (d e-c f-(b e-a f) x)}\right ) \, dx,x,\frac {c+d x}{a+b x}\right ) \\ & = -\frac {b \text {Subst}\left (\int \frac {\log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{-d+b x} \, dx,x,\frac {c+d x}{a+b x}\right )}{f}+\frac {((-b c+a d) (b e-a f)) \text {Subst}\left (\int \frac {\log ^2\left (\frac {(b e-a f) x}{d e-c f}\right )}{d e-c f+(-b e+a f) x} \, dx,x,\frac {c+d x}{a+b x}\right )}{(b c-a d) f} \\ & = -\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (1-\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {2 \text {Subst}\left (\int \frac {\log \left (\frac {(b e-a f) x}{d e-c f}\right ) \log \left (1-\frac {b x}{d}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{f}-\frac {2 \text {Subst}\left (\int \frac {\log \left (\frac {(b e-a f) x}{d e-c f}\right ) \log \left (1+\frac {(-b e+a f) x}{d e-c f}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{f} \\ & = -\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (1-\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{f}+\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {2 \text {Subst}\left (\int \frac {\text {Li}_2\left (\frac {b x}{d}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{f}-\frac {2 \text {Subst}\left (\int \frac {\text {Li}_2\left (-\frac {(-b e+a f) x}{d e-c f}\right )}{x} \, dx,x,\frac {c+d x}{a+b x}\right )}{f} \\ & = -\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (1-\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}-\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )}{f}+\frac {2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f}+\frac {2 \text {Li}_3\left (\frac {b (c+d x)}{d (a+b x)}\right )}{f}-\frac {2 \text {Li}_3\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(1080\) vs. \(2(322)=644\).
Time = 0.40 (sec) , antiderivative size = 1080, normalized size of antiderivative = 3.35 \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\frac {-\log \left (\frac {-b c+a d}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )+\log ^2\left (\frac {a}{b}+x\right ) \log (e+f x)-2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {c}{d}+x\right ) \log (e+f x)+\log ^2\left (\frac {c}{d}+x\right ) \log (e+f x)+2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log (e+f x)-2 \log \left (\frac {c}{d}+x\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log (e+f x)+\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log (e+f x)-\log ^2\left (\frac {a}{b}+x\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )-\log ^2\left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )-2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+2 \log \left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )-\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {c}{d}+x\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )-\log ^2\left (\frac {c}{d}+x\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )-2 \log \left (\frac {a}{b}+x\right ) \log \left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )+\log ^2\left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )+2 \log \left (\frac {c}{d}+x\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )-2 \log \left (\frac {f (c+d x)}{-d e+c f}\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )+\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(-b c+a d) (e+f x)}{(d e-c f) (a+b x)}\right )-2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {b (c+d x)}{d (a+b x)}\right )+2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \operatorname {PolyLog}\left (2,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )+2 \operatorname {PolyLog}\left (3,\frac {b (c+d x)}{d (a+b x)}\right )-2 \operatorname {PolyLog}\left (3,\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{f} \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. \(812\) vs. \(2(321)=642\).
Time = 3.18 (sec) , antiderivative size = 813, normalized size of antiderivative = 2.52
method | result | size |
derivativedivides | \(\left (a f -b e \right ) \left (a d -c b \right ) \left (\frac {\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}-\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}+1\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )-2 \,\operatorname {Li}_{3}\left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{\left (a f -b e \right ) f \left (a d -c b \right )}-\frac {b \left (c f -d e \right ) \left (\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1+\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (-\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )-2 \,\operatorname {Li}_{3}\left (-\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )\right )}{\left (b c f -b d e \right ) \left (a f -b e \right ) f \left (a d -c b \right )}\right )\) | \(813\) |
default | \(\left (a f -b e \right ) \left (a d -c b \right ) \left (\frac {\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}-\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}+1\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )-2 \,\operatorname {Li}_{3}\left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{\left (a f -b e \right ) f \left (a d -c b \right )}-\frac {b \left (c f -d e \right ) \left (\ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )^{2} \ln \left (1+\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )+2 \ln \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right ) \operatorname {Li}_{2}\left (-\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )-2 \,\operatorname {Li}_{3}\left (-\frac {\left (b c f -b d e \right ) \left (-\frac {\left (a f -b e \right ) \left (a d -c b \right )}{b \left (c f -d e \right ) \left (b x +a \right )}+\frac {d \left (a f -b e \right )}{\left (c f -d e \right ) b}\right )}{-a d f +b d e}\right )\right )}{\left (b c f -b d e \right ) \left (a f -b e \right ) f \left (a d -c b \right )}\right )\) | \(813\) |
risch | \(\text {Expression too large to display}\) | \(4733\) |
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\int { \frac {\log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )^{2}}{f x + e} \,d x } \]
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\int \frac {\log {\left (- \frac {a c f}{- a c f + a d e - b c f x + b d e x} - \frac {a d f x}{- a c f + a d e - b c f x + b d e x} + \frac {b c e}{- a c f + a d e - b c f x + b d e x} + \frac {b d e x}{- a c f + a d e - b c f x + b d e x} \right )}^{2}}{e + f x}\, dx \]
[In]
[Out]
Exception generated. \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\text {Exception raised: RuntimeError} \]
[In]
[Out]
\[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\int { \frac {\log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )^{2}}{f x + e} \,d x } \]
[In]
[Out]
Timed out. \[ \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx=\int \frac {{\ln \left (\frac {\left (a\,f-b\,e\right )\,\left (c+d\,x\right )}{\left (c\,f-d\,e\right )\,\left (a+b\,x\right )}\right )}^2}{e+f\,x} \,d x \]
[In]
[Out]